обратная импликация

См. также в других словарях:

• Импликация — Импликация (лат. implicatio  связь)  бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… …   Википедия

• Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• обратное утверждение — обратная импликация инверсия — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы обратная импликацияинверсия EN converse …   Справочник технического переводчика

• ДВОЙСТВЕННОСТИ ПРИНЦИП — 1) Д. п. в математической логике теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико предметных языков. Пусть А формула языка логики высказываний или логики предикатов, не содержащая знака… …   Математическая энциклопедия

• Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …   Философская энциклопедия

• ПРОВЕРЯЕМОСТЬ — 1) В широком смысле – вообще возможность проверки истинности знания. 2) В более узком и более точном смысле – возможность проверки высказываний посредством сопоставления с эмпирич. данными. В этом смысле различают н е п о с р е д с т в е н н у ю… …   Философская энциклопедия

• ПРОЕКТИВНОЕ МНОЖЕСТВО — множество, к рое может быть получено из борелевских множеств повторным применением операций проектирования и перехода к дополнению. П. м. классифицируются по классам, образующим проективную иерархию. Пусть I=ww бэровское пространство… …   Математическая энциклопедия

• Абросимов, Александр Викторович — Александр Викторович Абросимов Дата рождения: 16 ноября 1948(1948 11 16) Место рождения: Куйбышев Дата смерти …   Википедия

• Логические операции —         логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… …   Большая советская энциклопедия